scalar extension of algebra

代数的纯量扩张